Hartmut Ehrig: որոնել Z-Library կայքում

Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

PDF, 13.98 MB

0 / 0

english, 1995

Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

Arend Rensink (auth.), Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 8.12 MB

0 / 0

english, 2006

Graph Transformation: First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings

Carlo Ghezzi (auth.), Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski, Grzegorz Rozenberg (eds.)

Տարի:

2002

Լեզու:

english

Ֆայլ:

PDF, 6.40 MB

0 / 0

english, 2002

TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Ingo Wegener (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

PDF, 16.10 MB

0 / 0

english, 1987

Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

Javier Esparza (auth.), Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 6.77 MB

0 / 0

english, 2010

Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

Perdita Stevens (auth.), Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 9.35 MB

0 / 0

english, 2008

Graph-Grammars and Their Application to Computer Science: 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982

Springer Berlin Heidelberg

B. Bartsch-Spörl (auth.), Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg (eds.)

Տարի:

1983

Լեզու:

english

Ֆայլ:

PDF, 6.55 MB

0 / 0

english, 1983

Graph-Grammars and Their Application to Computer Science: 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982

Springer Berlin Heidelberg

B. Bartsch-Spörl (auth.), Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg (eds.)

Տարի:

1983

Լեզու:

english

Ֆայլ:

DJVU, 3.75 MB

0 / 0

english, 1983

Kategorien und Automate

De Gruyter

Hartmut Ehrig, Michael Pfender

Տարի:

1972

Լեզու:

german

Ֆայլ:

PDF, 10.77 MB

0 / 0

german, 1972

Fundamentals of Algebraic Graph Transformation

Independely Published

Hartmut Ehrig

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 3.88 MB

4.0 / 5.0

english, 2006

Graph and Model Transformation: General Framework and Applications

Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann

Տարի:

2016

Լեզու:

english

Ֆայլ:

PDF, 15.54 MB

0 / 0

english, 2016

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

H. Weber, H. Ehrig, W. Reisig, A. Borusan (auth.), Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 4.95 MB

0 / 0

english, 2003

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Տարի:

1985

Լեզու:

english

Ֆայլ:

PDF, 4.49 MB

0 / 0

english, 1985

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Տարի:

1990

Լեզու:

english

Ֆայլ:

PDF, 20.23 MB

0 / 0

english, 1990

Categorical Methods in Computer Science With Aspects from Topology

Hartmut Ehrig (auth.), H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß (eds.)

Տարի:

1989

Լեզու:

english

Ֆայլ:

PDF, 19.73 MB

0 / 0

english, 1989

Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85)

Hartmut Ehrig (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)

Տարի:

1985

Լեզու:

english

Ֆայլ:

DJVU, 3.67 MB

0 / 0

english, 1985

Unifying Petri Nets: Advances in Petri Nets

Jörg Desel, Gabriel Juhás (auth.), Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg (eds.)

Տարի:

2001

Լեզու:

english

Ֆայլ:

PDF, 2.92 MB

0 / 0

english, 2001

Mathematisch-strukturelle Grundlagen der Informatik

Prof. Dr. Hartmut Ehrig, Prof. Dr. Bernd Mahr, Dr. Martin Große-Rhode, Dr. Ing. Felix Cornelius, Dr. Philip Zeitz (auth.)

Տարի:

2001

Լեզու:

german

Ֆայլ:

PDF, 18.74 MB

0 / 0

german, 2001

Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg

Jean Berstel, Luc Boasson (auth.), Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa (eds.)

Տարի:

2002

Լեզու:

english

Ֆայլ:

PDF, 5.29 MB

0 / 0

english, 2002

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Տարի:

1985

Լեզու:

english

Ֆայլ:

DJVU, 2.15 MB

0 / 0

english, 1985

Theory and Application of Graph Transformations: 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers

Frank Drewes (auth.), Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 5.77 MB

0 / 0

english, 2000

Categorical Methods in Computer Science With Aspects from Topology

Hartmut Ehrig (auth.), H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß (eds.)

Տարի:

1989

Լեզու:

english

Ֆայլ:

DJVU, 3.16 MB

0 / 0

english, 1989

Unifying Petri Nets: Advances in Petri Nets

Jörg Desel, Gabriel Juhás (auth.), Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg (eds.)

Տարի:

2001

Լեզու:

english

Ֆայլ:

PDF, 5.08 MB

0 / 0

english, 2001

Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Rachid Echahed, Mark Minas, Ehrig, Hartmut

Տարի:

2016

Լեզու:

english

Ֆայլ:

PDF, 12.76 MB

0 / 0

english, 2016

CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings

Hartmut Ehrig (auth.), Egidio Astesiano, Corrado Böhm (eds.)

Տարի:

1981

Լեզու:

english

Ֆայլ:

PDF, 8.56 MB

0 / 0

english, 1981

CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings

Hartmut Ehrig (auth.), Egidio Astesiano, Corrado Böhm (eds.)

Տարի:

1981

Լեզու:

english

Ֆայլ:

DJVU, 2.88 MB

0 / 0

english, 1981

Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

Christiane Floyd (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)

Տարի:

1985

Լեզու:

english

Ֆայլ:

PDF, 13.92 MB

0 / 0

english, 1985

Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings

Frank Drewes (auth.), Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 14.69 MB

0 / 0

english, 1991

Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings

Frank Drewes (auth.), Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

DJVU, 7.93 MB

0 / 0

english, 1991

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings

Margaret-Anne D. Storey (auth.), Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 13.92 MB

0 / 0

english, 2004

Graph Grammars and Their Application to Computer Science: 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers

R. Alberich, P. Burmeister, F. Rosselló (auth.), Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg (eds.)

Տարի:

1996

Լեզու:

english

Ֆայլ:

DJVU, 5.85 MB

0 / 0

english, 1996

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

DJVU, 3.84 MB

0 / 0

english, 1994

Graph-Grammars and Their Application to Computer Science and Biology: International Workshop Bad Honnef, October 30 – November 3, 1978

Hartmut Ehrig (auth.), Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg (eds.)

Տարի:

1979

Լեզու:

english

Ֆայլ:

DJVU, 5.09 MB

0 / 0

english, 1979

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

DJVU, 6.64 MB

0 / 0

english, 2004

Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings

Kunio Aizawa, Akira Nakamura (auth.), Hans Jürgen Schneider, Hartmut Ehrig (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

DJVU, 4.46 MB

0 / 0

english, 1994

Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

Antónia Lopes, José Luiz Fiadeiro (auth.), Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 11.92 MB

0 / 0

english, 2012

Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

Christiane Floyd (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)

Տարի:

1985

Լեզու:

english

Ֆայլ:

DJVU, 5.75 MB

0 / 0

english, 1985

Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

Javier Esparza (auth.), Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 6.83 MB

0 / 0

english, 2010

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Տարի:

1990

Լեզու:

english

Ֆայլ:

DJVU, 3.39 MB

0 / 0

english, 1990

Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

Perdita Stevens (auth.), Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 15.05 MB

0 / 0

english, 2008

Graph-Theoretic Concepts in Computer Science: International Workshop WG '87 Kloster Banz/Staffelstein, FRG, June 29 – July 1, 1987 Proceedings

Hartmut Ehrig, Paul Boehm, Udo- Hummert (auth.), Herbert Göttler, Hana-Jürgen Schneider (eds.)

Տարի:

1988

Լեզու:

english

Ֆայլ:

DJVU, 2.28 MB

0 / 0

english, 1988

Graph-Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986

Hartmut Ehrig (auth.), Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

DJVU, 6.06 MB

0 / 0

english, 1987

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings

Margaret-Anne D. Storey (auth.), Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 6.08 MB

0 / 0

english, 2004

Graph transformations : 6th international conference, ICGT 2012, Bremen, Germany, September 24 - 29, 2012 ; proceedings

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 11.89 MB

0 / 0

english, 2012

TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

DJVU, 7.67 MB

0 / 0

english, 1995

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

DJVU, 3.99 MB

0 / 0

english, 1987

Graph-Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986

Hartmut Ehrig (auth.), Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

PDF, 11.79 MB

0 / 0

english, 1987

Graph-Theoretic Concepts in Computer Science: International Workshop WG '87 Kloster Banz/Staffelstein, FRG, June 29 – July 1, 1987 Proceedings

Hartmut Ehrig, Paul Boehm, Udo- Hummert (auth.), Herbert Göttler, Hana-Jürgen Schneider (eds.)

Տարի:

1988

Լեզու:

english

Ֆայլ:

PDF, 4.98 MB

0 / 0

english, 1988

Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings

Kunio Aizawa, Akira Nakamura (auth.), Hans Jürgen Schneider, Hartmut Ehrig (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

PDF, 7.25 MB

0 / 0

english, 1994

Graph Grammars and Their Application to Computer Science: 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers